2781. The theory of computer science; a programming approach
پدیدآورنده : Brady, J M
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Electronic computers(,، Machine theory,، Computable functions
رده :
QA
76
.
B697
2782. The unix programming environment
پدیدآورنده : KERNIGHAN,BRIAN W
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : UNIX )COMPUTER FILE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
6
.
K495
1984
2783. Theoretical aspects of object-oriented programming : types, semantics, and language design
پدیدآورنده : edited by Carl A. Gunter and John C. Mitchell
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
64
.
T4
2784. Theories of programming languages
پدیدآورنده : Reynolds, John C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
R495
1998
2785. Theories of programming languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ;
2786. Theories of programming languages
پدیدآورنده : / John C. Reynolds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
R495
,
1998
2787. Theory and Problems of computer and Programming
پدیدآورنده : / Francis Scheid
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Programming (Electronic computer),Electronic computers
رده :
QA76
.
S3
1983
2788. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
رده :
QA
267
.
5
.
S4
B68
2789. #Theory of computation
پدیدآورنده : #]by[ Walter S. Brainerd ]and[ Lawrence H. Landweber
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Sequential machine theory ،Recursive functions ،Programming languages )Electronic computers(
رده :
#
QA
،#.
S4
,
B68
2790. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
B68
2791. Theory of program structures
پدیدآورنده : / By Sheila Greibach,Greibach
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital computers -- Programming,Recursive programming,Computer programs
رده :
QA
76
.
6
.
G743
1975
2792. Theory of program structures:Schemes, Semantics, Verification
پدیدآورنده : Greinach, Sheila
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Recurlive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
2793. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
2794. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
2795. Thinking in LINQ :
پدیدآورنده : Sudipta Mukherjee
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Programming languages (Electronic computers),Query languages (Computer science)
رده :
QA76
.
7
2796. Threaded interpretive languages: their desing and implementation
پدیدآورنده : Loeliger, R. G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Interpreters )Computer programs(
رده :
QA
76
.
7
.
L63
2797. Time-shared computer languages: an introduction to conversational computing
پدیدآورنده : Schur, Lee David
موضوع : ، Programming languages )Electronic computers(,، Time-sharing computer systems
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2798. Tiny assembler 6800, version 3.1: design and implementation of a microprocessor self assembler
پدیدآورنده : Emmerichs, Jack
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Motorola 0086 )Microprocessor(-- Programming,، Assembling )Electronic computers(
رده :
QA
76
.
8
.
M67
.
E45
2799. Title in Russian.
پدیدآورنده : Kutsyk
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital computers -- Programming
رده :
QA
76
.
6
.
K876
2800. Title inrussian
پدیدآورنده : Bratchikov
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Programming language (Electronic Computers)
رده :
QA
76
.
7
.
B7